Приведем полную таблицу истинности для всех унарных и бинарных логических операций.
fl.jpg

Задача 1. Построить таблицу истинности и определить выполнимость формулы:external image img6-0.gif
Посмотреть решение о формуле алгебры логики

Задача 2. Семья, состоящая из отца А, матери В и трех дочерей C, D, E купила телевизор. Условились, что в первый вечер будут смотреть передачи в таком порядке:
1. Когда отец А смотрит передачу, то мать В делает то же.
2. Дочери D и E, обе или одна из них, смотрят передачу.
3. Из двух членов семьи - мать В И дочь С - смотрят передачу одна и только одна.
4. Дочери C и D или обе смотрят, или обе не смотрят.
5. Если дочь Е смотрит передачу, то отец А и дочь D делают то же.
Кто из членов семьи в этот вечер смотрит передачу?

Решение задачи по математической логике
sl.jpg
slp.jpg


)
Задача 3. Доказать полноту (или неполноту) приведенной системы булевых функций external image img4-0.gif.
Доказательство полноты системы функций





Ресурсы:
http://www.vimvd.ru/institute/structure/chairs/vm/methodical/fzodm.pdf
http://www.kstu.edu.ru/misc/Cherednikova_Posobie_DM.pdf
http://www.matburo.ru/ex_dm.php?p1=dmlogika